THE MINIMAL COFINALITY OF AN ULTRAPOWER OF ω AND THE COFINALITY OF THE SYMMETRIC GROUP CAN BE LARGER THAN b+
نویسنده
چکیده
We prove the statement in the title.
منابع مشابه
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +
We prove the statement in the title.
متن کاملThe Cofinality of the Symmetric Group and the Cofinality of Ultrapowers
We prove that mcf < cf(Sym(ω))) and mcf > cf(Sym(ω)) = b are both consistent relative to ZFC. This answers a question by Banakh, Repovš and Zdomskyy and a question from [12].
متن کاملCovering the Baire space by families which are not finitely dominating
It is consistent (relative to ZFC) that each union of max{b, g} many families in the Baire space ω which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U , the cofinality of the reduced ultrapower ω/U is greater than max{b, g}. The model is constructed by oracle chain condition forcing, to which we give a self-contained intr...
متن کاملThe Relative Consistency Of
We prove the consistency result from the title. By forcing we construct a model of g = ℵ1, b = cf(Sym(ω)) = ℵ2. We recall the definitions of the three cardinal characteristics in the title and the abstract. We write A ⊆ * B if A \ B is finite. We write f ≤ * g if f, g ∈ ω ω and {n : f (n) > g(n)} is finite. Definition 0.1. (1) A subset G of [ω] ω is called groupwise dense if – for all B ∈ G, A ...
متن کاملOn changing cofinality of partially ordered sets
It is shown that under GCH every poset preserves its cofinality in any cofinality preserving extension. On the other hand, starting with ω measurable cardinals, a model with a partial ordered set which can change its cofinality in a cofinality preserving extension is constructed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011